1. Formal specification using Z: a modelling approach
پدیدآورنده : Bottaci, Leonardo
کتابخانه: (طهران)
موضوع : Z )Computer program language( , Computer Software - Development
رده :
QA
76
.
73
.
Z2
B67
1995
2. Practice and Research TechniquesتTesting
پدیدآورنده : / Leonardo Bottaci, Gordon Fraser
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK